The Kepler Problem (Part 11)
johncarlosbaez.wordpress.com·1d
💻Programming
Python Type Annotations (part 3)
dev.to·1d·
Discuss: DEV
💻Programming
Numerical Considerations in Weighted Model Counting
arxiv.org·3h
💻Programming
Song recommendations with free monads
blog.ploeh.dk·1h
💻Programming
Generic Containers in C: Safe Division Using Maybe
uecker.codeberg.page·2h·
Discuss: Hacker News
💻Programming
Pacman listing orphans
reddit.com·5h·
Discuss: r/archlinux
🔍Tpot
Programming languages and dimensions of units of measure
cl.cam.ac.uk·10h·
Discuss: Hacker News
💻Programming
Graham: Synchronizing Clocks by Leveraging Local Clock Properties (2022) [pdf]
usenix.org·2h·
Discuss: Hacker News
💻Programming
What is Fil-c and how to use it?
gizvault.com·2h·
Discuss: r/C_Programming
💻Programming
Any Use for my Hobby Project, BuffDB?
github.com·5h·
Discuss: r/opensource, r/programming, r/typescript
💻Programming
No, Reconsidered
3quarksdaily.com·22h
🧘‍♀️Meditation
Rough numbers between consecutive primes
terrytao.wordpress.com·4h
🔍Tpot
Measuring intelligence and reverse-engineering goals
lesswrong.com·5h
💻Programming
Tensor computing from scratch part II - Advanced operations
e-dorigatti.github.io·1d
💻Programming
Bidirectional Communication Patterns in Modern Web Apps(5757)
dev.to·3h·
Discuss: DEV
💻Programming
Anonymous Structures in C
dev.to·17h·
Discuss: DEV
💻Programming
⚡ 10AUG2025: One Week With The Brick
hiro.report·7h
🔍Tpot
Try and
ygdp.yale.edu·18h·
Discuss: Hacker News
🔍Tpot
"Brand New Result Proving Penrose and Tao's Uncomputability in Physics" [video]
youtube.com·8h·
Discuss: Hacker News
🌈Dzogchen
Comefrom
en.wikipedia.org·3h·
Discuss: Hacker News
💻Programming